Companies related to formal methods
Discover B2B companies, suppliers, and manufacturers related to this keyword category
Institute for Logic and Data Science
Research-ServicesThe Institute for Logic and Data Science (ILDS) is a non-profit independent research institute.
Department of Computer Science and Engineering (CSE), Gothenburg
Research-ServicesResearch and education at Chalmers University of Technology and University of Gothenburg.
UT Austin Computer Science
Higher-EducationThe Department of Computer Science at The University of Texas at Austin is a top-ten-ranked CS department nationally.
Galois, Inc.
Software-DevelopmentGalois develops technology to guarantee the trustworthiness of systems where failure is unacceptable.
Nevasoft,Inc.
Engineering-ServicesProviding the technology activation energy for start-ups and high risk projects for more than two decades
Tangram Flex
Defense-and-Space-ManufacturingSimplifying software integration for mission-critical defense systems.
EPFL School of Computer and Communication Sciences
Higher-EducationThe official LinkedIn page of the EPFL School of Computer and Communication Sciences (IC).
ISPRAS (Russian Academy of Sciences)
Software-DevelopmentFrom fundamental research to top industrial technologies in system software